가산 무한 집합

자연수 집합은 가산 무한 집합의 가장 대표적인 예시이다. 자연수 집합은 1, 2, 3, ...과 같이 셀 수 있는 무한한 원소들로 구성된다. 다른 어떤 가산 무한 집합도 정의상 이 자연수 집합과 일대일 대응이 가능해야 하므로, 자연수 집합은 가산 무한 집합의 기준이 된다고 볼 수 있다. 이 기준이 되는 집합의 크기, 즉 기수를 알레프 제로라고 부른다.

자연수 집합 자체가 가산 무한이라는 사실은 직관적으로 명백해 보이지만, 이를 엄밀히 증명하기 위해서는 자연수 집합이 자신의 진부분집합과도 일대일 대응이 될 수 있음을 보이는 것이 한 방법이다. 예를 들어, 각 자연수 n을 2n에 대응시키는 함수를 생각하면, 이는 자연수 집합을 짝수라는 진부분집합에 일대일로 대응시킨다. 이러한 무한 집합의 성질은 유한 집합에서는 불가능한 현상으로, 자연수 집합의 무한한 특성을 잘 보여준다.

정수 집합은 가산 무한 집합의 대표적인 예시 중 하나이다. 정수는 자연수, 0, 그리고 음의 정수를 모두 포함하는 수 체계로, 집합 기호 ℤ로 나타낸다. 이 집합은 무한히 많은 원소를 가지고 있지만, 그 원소들을 자연수 집합과 일대일 대응 시킬 수 있다는 점에서 가산 무한이라는 성질을 가진다.

정수 집합 ℤ가 가산 무한임을 보이는 일반적인 방법은 정수들을 자연수에 순서대로 나열하는 것이다. 예를 들어, 0을 첫 번째, 1을 두 번째, -1을 세 번째, 2를 네 번째, -2를 다섯 번째와 같은 방식으로 번호를 매기면 모든 정수에 고유한 자연수 번호가 부여된다. 이와 같은 명시적인 대응 규칙을 구성할 수 있기 때문에, 정수 집합의 크기(기수)는 자연수 집합의 크기와 같으며, 이는 초한기수 ℵ₀(알레프 제로)로 표기된다.

이러한 성질은 직관에 반할 수 있다. 자연수는 정수의 진부분집합이지만, 두 집합의 원소 개수는 동등하다는 것이다. 이는 무한 집합의 핵심적인 특징 중 하나로, 무한 집합은 자신의 진부분집합과도 크기가 같을 수 있다. 정수 집합이 가산 무한이라는 사실은 유리수 집합 ℚ 또한 가산 무한임을 증명하는 데 중요한 초석이 된다.

유리수 집합 ℚ는 분자와 분모가 정수인 모든 분수, 즉 정수 a, b(b ≠ 0)에 대해 a/b 꼴로 나타낼 수 있는 수의 집합이다. 유리수는 자연수나 정수와 달리 조밀한 성질을 가지며, 0과 1 사이에도 무한히 많은 유리수가 존재한다. 이러한 밀도 때문에 유리수 집합이 자연수 집합보다 훨씬 크게 느껴질 수 있지만, 놀랍게도 ℚ는 가산 무한 집합이다. 이는 모든 유리수를 자연수와 일대일 대응시킬 수 있음을 의미한다.

유리수 집합의 가산성을 증명하는 일반적인 방법은 모든 유리수를 체계적으로 나열하는 것이다. 예를 들어, 분자와 분모의 절댓값의 합을 기준으로 분수를 크기 순서대로 나열하는 방법이 있다. 이때 각 유리수는 기약분수 형태로 표현하여 중복을 피하며, 양수와 음수를 모두 포함하여 나열한다. 이러한 방법으로 모든 유리수를 첫 번째, 두 번째, 세 번째…와 같이 자연수에 순서대로 대응시킬 수 있으므로, 유리수 집합 ℚ는 자연수 집합 ℕ과 같은 크기, 즉 ℵ₀(알레프 제로)의 크기를 가진다.

이 결과는 가산 무한 집합의 중요한 성질을 보여준다. 무한 집합의 크기는 그 안에 포함된 원소의 '밀도'나 '조밀함'이 아니라, 자연수와의 일대일 대응 가능성에 의해 결정된다. 유리수 집합 ℚ는 정수 집합 ℤ나 자연수 집합 ℕ과 크기가 같지만, 실수 집합 ℝ와 같은 비가산 집합보다는 작다. 이는 집합론에서 무한의 크기를 비교하는 핵심적인 사례가 된다.

가산 무한 집합의 부분집합은 그 크기에 따라 두 가지로 나뉜다. 첫째는 유한 부분집합이다. 둘째는 무한 부분집합인데, 여기에는 중요한 정리가 적용된다. 모든 무한 부분집합은 그 자신도 가산 무한 집합이다. 즉, 자연수 집합과 일대일 대응이 가능하다. 이는 가산 무한 집합의 근본적인 성질 중 하나로, 집합의 크기가 변하지 않음을 의미한다.

이 성질은 정수 집합이나 유리수 집합과 같은 다른 가산 무한 집합의 부분집합에도 똑같이 적용된다. 예를 들어, 자연수 집합에서 모든 짝수의 집합을 생각해 보자. 이는 자연수의 무한 부분집합이며, 짝수와 자연수를 서로 짝지어 줄 수 있으므로 그 자체로 가산 무한 집합이다. 마찬가지로, 유리수 집합에서 0과 1 사이의 모든 유리수로 이루어진 부분집합도 가산 무한이다.

이러한 사실은 초한수 체계에서 가장 작은 무한 기수인 알레프 제로(ℵ₀)의 특성을 보여준다. 알레프 제로 크기의 집합에서 무한한 크기의 부분을 어떻게 추출해도, 그 부분의 크기는 여전히 알레프 제로로 동일하다. 이는 유한 집합의 경우 부분집합의 크기가 반드시 원래 집합보다 작은 것과 대비되는, 무한 집합의 독특한 성질이다. 이 개념은 게오르크 칸토어가 창시한 집합론의 핵심 결과 중 하나이다.

가산 무한 집합의 합집합에 관한 성질은 집합론의 중요한 결과 중 하나이다. 핵심 정리는 유한 개 또는 가산 무한 개의 가산 무한 집합들의 합집합은 여전히 가산 무한 집합이라는 것이다.

이를 구체적으로 설명하면, 각각의 집합 A₁, A₂, A₃, ...가 모두 가산 무한 집합일 때, 이들의 합집합 A₁ ∪ A₂ ∪ A₃ ∪ ... 역시 가산 무한 집합이다. 이는 각 집합의 원소들을 자연수와의 일대일 대응을 이용해 2차원 격자 형태로 배열한 후, 대각선을 따라 세는 방법으로 증명할 수 있다. 이 방법은 게오르크 칸토어가 제시한 것으로, 유리수의 집합이 가산 무한임을 보이는 데에도 활용된다.

이 성질은 집합론에서 기수의 연산을 이해하는 데 기초가 된다. 특히, 가산 무한 집합의 기수인 알레프 제로에 대해, 알레프 제로에 유한 수를 더거나 알레프 제로 자체를 유한 번 곱해도 그 결과는 여전히 알레프 제로임을 의미한다. 그러나 이러한 합집합이 가산 무한을 유지하기 위해서는 합쳐지는 집합의 개수도 유한하거나 가산 무한이어야 한다. 만약 합쳐지는 집합의 개수가 비가산 집합의 기수, 예를 들어 연속체의 기수라면 그 합집합은 비가산 집합이 될 수 있다.

가산 무한 집합의 데카르트 곱 역시 가산 무한임이 알려져 있다. 즉, 두 개의 가산 무한 집합 A와 B에 대해, 그 데카르트 곱 A × B = {(a, b) | a ∈ A, b ∈ B}도 가산 무한 집합이다. 이는 집합 A와 B의 원소들을 각각 자연수와 일대일 대응시킨 후, 순서쌍 (a, b)를 자연수에 체계적으로 대응시키는 방법(예: 칸토어의 대각선 논법에서 사용되는 배열 방식)을 통해 증명할 수 있다.

이 결과는 유한 개의 가산 무한 집합에 대한 데카르트 곱으로 일반화된다. 예를 들어, 가산 무한 집합 A 자신의 데카르트 곱 A × A, 또는 이를 확장한 A^n (n은 자연수)도 모두 가산 무한이다. 그러나 가산 무한 개의 가산 무한 집합들의 데카르트 곱은 그 크기가 연속체가 되어 비가산 집합이 된다는 점에 유의해야 한다. 이는 집합론에서 가산성의 한계를 보여주는 중요한 사실이다.